×

computation tree logic中文什么意思

发音:   用"computation tree logic"造句
  • 计算逻辑树。
  • computation:    n. 1.计算，估算。 2.计算法。 3.计算结果，得数 ...
  • tree:    n. 1.树〔主要指乔木，也可指较大的灌木〕。 ★玫瑰可 ...
  • logic:    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
  • journal of logic and computation:    逻辑和计算杂志; 逻辑与计算杂志
  • tree height computation:    树顶的计算; 树高的计算; 树形结构计算
下载手机词典可随时随地查词查翻译

百科释义

    Computation tree logic?(CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is realised. It is used in formal verification of software or hardware artifacts, typically by software applications known as model checkers which determine if a given artifact possesses safety or liveness properties.
    详细百科解释

相关词汇

        computation:    n. 1.计算，估算。 2.计算法。 3.计算结果，得数 ...
        tree:    n. 1.树〔主要指乔木，也可指较大的灌木〕。 ★玫瑰可 ...
        logic:    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
        journal of logic and computation:    逻辑和计算杂志; 逻辑与计算杂志
        tree height computation:    树顶的计算; 树高的计算; 树形结构计算
        computation:    n. 1.计算，估算。 2.计算法。 3.计算结果，得数。
        -logic:    -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
        and logic:    “与”逻辑
        logic:    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
        logic-and:    逻辑“与”
        or logic:    或逻辑
        a tree:    树状; 一棵树; 一蔸树
        in a tree:    在树上
        in the tree:    在树上（非树本身）
        in tree:    内树型; 入树
        into tree:    放在树中
        on the tree:    长在树上的，如果实一类的。; 在树上(本身生出的); 在树上（果实等）
        or tree:    或树
        s tree:    无私奉献的树
        tree:    n. 特里〔姓氏〕。 n. 1.树〔主要指乔木，也可指较大的灌木〕。 ★玫瑰可以称为 bush, 也可以称为 tree. 2.木料，木材；木构件；〔古语〕绞首台；〔the tree〕(钉死耶稣的)十字架；鞋楦。 3.树形(物)，世系图，家系 (＝family tree)；【数学】树(形)；【化学】树状晶体。 a banana tree 香蕉树。 an axle-tree 心棒，轴料。 a boot-tree 靴楦[型]。 a saddle-tree 鞍架。 at the top of the tree 在最高地位。 tree of Buddha 菩提树。 tree of heaven 臭椿。 tree of knowledge (of good and evil) 【圣经】知道善恶的树，智慧之树。 tree of life 生命之树，生命力的源泉【植物；植物学】金钟柏。 up a tree 〔口语〕进退两难，不知所措。 vt. 赶(猎兽等)上树躲避；〔口语〕使处于困境；穷追；把鞋型插入(鞋内)。
        a priori computation:    演绎计算
        abort computation:    异常中止计算; 异常终止计算
        accuracy in computation:    计算准确度
        actual computation:    实际计算
        addre computation:    地址计算

其他语言

相邻词汇

  1. computation solid mechanics 什么意思
  2. computation space 什么意思
  3. computation speed 什么意思
  4. computation table 什么意思
  5. computation time 什么意思
  6. computation unit 什么意思
  7. computation unit of control processor 什么意思
  8. computation value 什么意思
  9. computation window 什么意思
  10. computation year 什么意思
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.

Last modified time:Fri, 15 Aug 2025 00:29:56 GMT